Handle migration of x86 VCPUs between physical CPUs.
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Sat, 7 Jan 2006 16:52:43 +0000 (17:52 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Sat, 7 Jan 2006 16:52:43 +0000 (17:52 +0100)
commit1088bc0f6dcbfdfa7f282188f517ce7df3bcbd86
treea9a275c288e2062ef29d27a9833d3113f42aa3a4
parent1198a6a99fc8fa2bf280b0b8822d505ba134fc9a
Handle migration of x86 VCPUs between physical CPUs.
If required, context_switch() must pull state off of
old CPU.

Signed-off-by: Keir Fraser <keir@xensource.com>
xen/arch/x86/domain.c